projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58e8986) | patch
x86/psr: remove useless check in free_socket_resources
authorWei Liu <wei.liu2@citrix.com>
Wed, 9 Aug 2017 12:35:19 +0000 (13:35 +0100)
committerWei Liu <wei.liu2@citrix.com>
Thu, 10 Aug 2017 10:55:08 +0000 (11:55 +0100)
commitd73168728c49a21da88989e548f01c5947a5b538
tree4f0ad08a0c76081e1961c087a169ca7c718f7075tree | snapshot
parent58e8986267d976b00c60e0089baa2e5f66f16d3ecommit | diff
x86/psr: remove useless check in free_socket_resources

The check is useless because pointer arithmetic ensures "info" is
always non-zero.

Replace it with an ASSERT for socket_info. The only caller of
free_socket_resources already ensures socket_info is not NULL before
calling it.

Coverity-ID: 1416344

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/psr.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.